例句與造句

1. His paper referenced in Cartesian closed category discusses some of this.
2. The class of all things ( of a given Cartesian closed categories.
3. CAML is more consciously modelled on Cartesian closed categories.
4. A special case of this are the Cartesian closed categories, whose internal language is simply typed lambda calculus.
5. Cartesian categories with a Hom functor that is an adjoint functor to the product are called Cartesian closed categories.
6. It's difficult to find cartesian closed categories in a sentence. 用cartesian closed categories造句挺難的
7. Thus use of lambda here is not accidental; the internal language of Cartesian closed categories is simply-typed lambda calculus.
8. The category "'Cat "'of all small categories with functors as morphisms is therefore a cartesian closed category.
9. The articles on exponential object and Cartesian closed category provide a more precise discussion of the category-theoretic formulation of this idea.
10. The Curry-Howard-Lambek correspondence provides a deep isomorphism between intuitionistic logic, simply-typed lambda calculus and Cartesian closed categories.
11. The most general possible setting for " Apply " are the closed monoidal categories, of which the cartesian closed categories are an example.
12. The setting of cartesian closed categories is sufficient for the discussion of classical logic; the more general setting of closed monoidal categories is suitable for quantum computation.
13. Exponentiation is the right adjoint of the Cartesian product; thus any category with a Cartesian product ( and a final object ) is a Cartesian closed category.
14. Thus, for example, the category of sets, with functions taken as morphisms, and the cartesian product taken as the product, forms a Cartesian closed category.
15. Linear type systems are the internal language of closed symmetric monoidal categories, much in the same way that simply typed lambda calculus is the language of Cartesian closed categories.
16. For "'CPO "', the cartesian closed category of dcpo's, two particularly notable examples of Scott-continuous functions are curry and apply.
更多例句：  下一頁(yè)